Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
241	Is Math a Gift? Beliefs That Put Females at Risk Carol S. Dweck Stanford University In S.J. Ceci & W. Williams (Eds); Why aren’t more women in science? Top Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2015-06-08 23:07:45 Educational psychology Mathematical anxiety Mathematics education Ordinal collapsing function Mathematics Education Modal logic
242	The Modal µ-Calculus Caught Off Guard Oliver Friedmann1 and Martin Lange2 1 2 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:12 Ω-automaton Method of analytic tableaux Symbol Partition Well-formed formula Mathematics Logic Automata theory
243	AGENDA ITEM 10 UPDATE ON OT EDUCATION PROGRAMS PROVIDING MODALITIES EDUCATION AS PART OF THE REQUIRED CURRICULUM. A proposed survey of modalities educational being provided in the OT curriculum that is intended to be se Add to Reading List Source URL: www.bot.ca.gov Language: English - Date: 2015-02-27 19:52:57 Exercise Massage therapy Physical therapy Therapy Modal logic Medicine Health Health sciences
244	Simulation and information: quantifying over epistemic events Hans van Ditmarsch12⋆ and Tim French3 1 3 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:58 Modal logic Philosophical logic Model theory Theoretical computer science Bisimulation Logic in computer science Kripke semantics Epistemic modal logic Common knowledge Logic Mathematical logic Mathematics
245	Philos Stud DOIs11098Descriptions, ambiguity, and representationalist theories of interpretation Philipp Koralus Add to Reading List Source URL: www.koralus.net Language: English - Date: 2014-04-05 07:50:01 Semantics Analytic philosophy Bertrand Russell Critical thinking Modal logic De dicto and de re Theory of descriptions Ambiguity Ellipsis Philosophy of language Logic Linguistics
246	Dynamic Reconfiguration of GCM components A.Basso, A. Bolotov, V. Getov {A.Basso,A.Bolotov,A.Getov}@wmin.ac.uk University of Westminster, UK L. Henrio Add to Reading List Source URL: coregrid.ercim.eu Language: English - Date: 2008-09-24 04:08:10 Formal methods Logic in computer science Formal sciences Cybernetics Formal verification Theoretical computer science Model checking Modal logic Deontic logic Logic Mathematical logic Applied mathematics
247	A Solver for Modal Fixpoint Logics Oliver Friedmann Martin Lange Dept. of Computer Science University of Munich Munich, Germany Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics Non-classical logic Logic in computer science Modal logic Philosophical logic Temporal logic Model checking Parity game Ω-automaton Logic Mathematical logic Automata theory
248	Tableaux with Automata (Extended Abstract) Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany 1 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:21 Mathematical logic Method of analytic tableaux Ω-automaton Tree automaton Modal μ-calculus Modal logic Formal language Well-formed formula Deterministic automaton Logic Automata theory Mathematics
249	Epistemic Conservativity and Imprecise Credence Jason Konek University of Bristol Abstract Add to Reading List Source URL: www.susannaschellenberg.org Language: English - Date: 2015-04-13 10:00:48 Modal logic Philosophical logic Evidentiality Grammar Pragmatics Truth Epistemology Doxastic logic Function Logic Philosophy Mathematics
250	Hans van Ditmarsch EPS – Project numberfor public dissemination Add to Reading List Source URL: personal.us.es Language: English - Date: 2013-08-13 03:09:02 Mathematics Common knowledge Epistemic modal logic Probabilistic logic Kripke semantics Modal operator Dynamic logic Temporal logic Belief revision Logic Mathematical logic Modal logic

UPDATE